Design by contract

Results: 233



#Item
101Dead Brain Cells / Television licence / Electronics / DBc / Telecommunications / Design by contract

立法會 Legislative Council LC Paper No. CB[removed]Ref. : CB4/PL/ITB Panel on Information Technology and Broadcasting

Add to Reading List

Source URL: www.legco.gov.hk

Language: English - Date: 2013-03-05 03:11:09
102Software maintenance / Design by contract

ICT~Office Terms and Conditions Module 3 Maintenance of software The ICT~Office Terms and Conditions are filed with the Chamber of Commerce for the Central Netherlands under number[removed]

Add to Reading List

Source URL: www.nedap.com

Language: English - Date: 2013-08-05 06:54:42
103Sustainable building / Building engineering / Sustainable architecture / Environmental design / Energy policy / National Renewable Energy Laboratory / Sustainable energy / Leadership in Energy and Environmental Design / Energy Savings Performance Contract / Environment / Architecture / Sustainability

Sustainable NREL S I T E S U S TA I N A B I L I T Y P L A N F YNREL is a national laboratory of the U.S. Department of Energy, Office of Energy Efficiency and Renewable Energy, operated by the Alliance for Sust

Add to Reading List

Source URL: www.nrel.gov

Language: English - Date: 2015-04-10 14:54:40
104Ada programming language / AdaCore / Ada / GNAT / SPARK / A Sharp / Design by contract / Free software / Parasailing / Computing / Software engineering / Computer programming

< technology corner > ParaSail: Less Is More when Parallel Programming for Multicore As part of the merger between SofCheck and AdaCore, the programming language ParaSail will now be under AdaCore auspices. ParaSail (Pa

Add to Reading List

Source URL: www.adacore.com

Language: English - Date: 2012-06-12 08:29:17
105Computer programming / AdaCore / SPARK / Ada / GNAT Programming Studio / GNAT / A Sharp / Static program analysis / Design by contract / Computing / Software engineering / Ada programming language

< product spotlight > GNAT Pro Safety-Critical for Railway Applications newsflash

Add to Reading List

Source URL: www.adacore.com

Language: English - Date: 2014-07-02 09:33:58
106Software design / Albert Cheng / Select committees of the Parliament of the United Kingdom / Television licence / Raidió Teilifís Éireann / Metro Broadcast Corporation / Dead Brain Cells / Chinese people / Hong Kong / Broadcasting / Design by contract

立法會 Legislative Council LC Paper No. CB[removed]Ref. : CB4/PL/ITB Paper for the House Committee meeting on 2 November 2012

Add to Reading List

Source URL: www.legco.gov.hk

Language: English - Date: 2012-11-19 22:04:07
107Computer programming / Programming paradigms / Software design / Database theory / ECO / Class / Database / Design by contract / Object-oriented design / Software engineering / Object-oriented programming / Computing

Your attention please! The following text was published as a book by Prentice Hall in[removed]It has since gone out of print, and the copyright was formally reversed back to the authors Kim Waldén and Jean-Marc Nerson in

Add to Reading List

Source URL: www.bon-method.com

Language: English - Date: 2015-02-13 07:23:38
108Business / Warranty / Contract / Construction management / General contractor / Design by contract / Cost-plus contract / Joint Contracts Tribunal / Performance bond / Contract law / Law / Construction

CONTRACT INFORMATION STATEMENT FOR RENOVATION, EXTENSION, IMPROVEMENT AND REPAIR CONTRACTS This document is a Contract Information Statement approved by the QBCC under s99(1) of the Domestic Building Contracts Act 2000 (

Add to Reading List

Source URL: www.qbcc.qld.gov.au

Language: English - Date: 2014-06-02 22:32:50
109Ada programming language / AdaCore / GNAT / Ada / SPARK / A Sharp / Design by contract / Robert Dewar / Integrated development environment / Computing / Software engineering / Computer programming

insider an AdaCore Publication Spring 2008 www.adacore.com

Add to Reading List

Source URL: www.adacore.com

Language: English - Date: 2011-12-16 12:50:07
110Private law / Legal documents / Contract / Construction management / General contractor / Design by contract / Joint Contracts Tribunal / Changes clause / Contract law / Law / Construction

CONTRACT INFORMATION STATEMENT FOR NEW HOME CONSTRUCTION CONTRACTS This document is the Contract Information Statement

Add to Reading List

Source URL: www.qbcc.qld.gov.au

Language: English - Date: 2014-06-02 22:32:39
UPDATE